main:
  callq f1
